It is true now that man lives in a world of conflict. Conflict is an ever-present process in human relations. Conflict situations indeed appear frequently in daily, public and private life. Conflict may occur within and among families, groups, communities or nations; and they may be fuelled by ethnic, racial, religious, or economic differences, or may arise from differences in ideologies, values and beliefs. Conflict may be on a small or large scale. Conflict charge the people with tensions, threats, fears, (...) anxieties and uncertainties. What makes a society ideal is the extent to which the conflicting interests and needs in a society are constructively managed so that violence does not threaten its continued existence. Since it is obvious that conflicts in any given society is inevitable, management and resolution of conflict is the very essence of talking about conflict. This is what this work is set to achieve and to offer suggestions on how to manage and resolve conflict thereby reducing its negative and destructive effects. This work showed the church has the potential to contribute to the management and resolution of conflicts in Nigeria. (shrink)

Metaphors for describing the introduction, impacts, and management of non-native species are numerous and often quite outspoken. Policy-makers have adopted increasingly disputed metaphorical terms from scientific discourse. We performed a critical analysis of the use of strong metaphors in reporting scientific findings to policy-makers. Our analysis shows that perceptions of harm, invasiveness or nativeness are dynamic and inevitably display multiple narratives in science, policy or management. Improving our awareness of multiple expert and stakeholder narratives that exist in the context of (...) non-native species management, as well as metaphorical alternatives, is critical. (shrink)

In the world of philosophy of science, the dominant theory of confirmation is Bayesian. In the wider philosophical world, the idea of inference to the best explanation exerts a considerable influence. Here we place the two worlds in collision, using Bayesian confirmation theory to argue that explanatoriness is evidentially irrelevant.

This chapter describes the potential far‐reaching consequences of contemplative higher education for the fields of science and medicine.

For many years there has been a debate about the role of the parietal lobe in the generation of behavior. Does it generate movement plans (intention) or choose objects in the environment for further processing? To answer this, we focus on the lateral intraparietal area (LIP), an area that has been shown to play independent roles in target selection for saccades and the generation of visual attention. Based on results from a variety of tasks, we propose that LIP acts as (...) a priority map in which objects are represented by activity proportional to their behavioral priority. We present evidence to show that the priority map combines bottom-up inputs like a rapid visual response with an array of top-down signals like a saccade plan. The spatial location representing the peak of the map is used by the oculomotor system to target saccades and by the visual system to guide visual attention. (shrink)

In her book Specifications Grading, Linda B. Nilson advocates for a grading regimen she claims will save faculty time, increase student motivation, and improve the quality and rigor of student work. If she is right, there is a strong case for many faculty to adopt some version of the system she recommends. In this paper, we argue that she is mostly right and recommend that faculty move away from traditional grading. We begin by rehearsing the central features of specifications grading (...) and providing two examples of how to implement it in philosophy classes. In light of the examples, we argue that specifications grading fulfills two of Nilson’s central desiderata but not the third. Since specifications grading generates two benefits that when combined increase student learning, without adding or increasing burdens, we conclude that student learning increases when courses are revised to include aspects of specifications grading. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

Precision Medicine is driven by the idea that the rapidly increasing range of relatively cheap and efficient self-tracking devices make it feasible to collect multiple kinds of phenotypic data. Advocates of N = 1 research emphasize the countless opportunities personal data provide for optimizing individual health. At the same time, using biomarker data for lifestyle interventions has shown to entail complex challenges. In this paper, we argue that researchers in the field of precision medicine need to address the performative dimension (...) of collecting data. We propose the fun-house mirror as a metaphor for the use of personal health data; each health data source yields a particular type of image that can be regarded as a ‘data mirror’ that is by definition specific and skewed. This requires competence on the part of individuals to adequately interpret the images thus provided. (shrink)

Functional diversity holds the promise of understanding ecosystems in ways unattainable by taxonomic diversity studies. Underlying this promise is the intuition that investigating the diversity of what organisms actually do—i.e. their functional traits—within ecosystems will generate more reliable insights into the ways these ecosystems behave, compared to considering only species diversity. But this promise also rests on several conceptual and methodological—i.e. epistemic—assumptions that cut across various theories and domains of ecology. These assumptions should be clearly addressed, notably for the sake (...) of an effective comparison and integration across domains, and for assessing whether or not to use functional diversity approaches for developing ecological management strategies. The objective of this contribution is to identify and critically analyze the most salient of these assumptions. To this aim, we provide an “epistemic roadmap” that pinpoints these assumptions along a set of historical, conceptual, empirical, theoretical, and normative dimensions. (shrink)

Freud proposes that in unconscious processing, logical connections are also (heavily) based upon phonological similarities. Repressed concerns, for example, would also be expressed by way of phonologic ambiguity. In order to investigate a possible unconscious influence of phonological similarity, 31 participants were submitted to a tachistoscopic subliminal priming experiment, with prime and target presented at 1ms. In the experimental condition, the prime and one of the 2 targets were phonological reversed forms of each other, though graphemically dissimilar (e.g., “nice” and (...) “sign”); in the control condition the targets were pseudo-randomly attributed to primes to which they don’t belong. The experimental task was to “blindly” pick the choice most similar to the prime. ERPs were measured with a focus on the N320, which is known to react selectively to phonological mismatch in supraliminal visual word presentations. The N320 amplitude-effects at the electrodes on the midline and at the left of the brain significantly predicted the participants’ net behavioral choices more than half a second later, while their subjective experience is one of arbitrariness. Moreover, the social desirability score (SDS) significantly correlates with both the behavioral and the N320 brain responses of the participants. It is proposed that in participants with low SDS the phonological target induces an expected reduction of N320 and this increases their probability to pick this target. In contrast, high defensive participants have a perplexed brain reaction upon the phonological target, with a negatively peaking N320 as compared to control and this leads them to avoid this target more often. Social desirability, which is understood as reflecting defensiveness, might also manifest itself as a defense against the (energy-consuming) ambiguity of language. The specificity of this study is that all of this is happening totally out of awareness and at the level of very elementary linguistic distinctions. (shrink)

In this review, we describe some of the central philosophical issues facing origins-of-life research and provide a targeted history of the developments that have led to the multidisciplinary field of origins-of-life studies. We outline these issues and developments to guide researchers and students from all fields. With respect to philosophy, we provide brief summaries of debates with respect to (1) definitions (or theories) of life, what life is and how research should be conducted in the absence of an accepted theory (...) of life, (2) the distinctions between synthetic, historical, and universal projects in origins-of-life studies, issues with strategies for inferring the origins of life, such as (3) the nature of the first living entities (the “bottom up” approach) and (4) how to infer the nature of the last universal common ancestor (the “top down” approach), and (5) the status of origins of life as a science. Each of these debates influences the others. Although there are clusters of researchers that agree on some answers to these issues, each of these debates is still open. With respect to history, we outline several independent paths that have led to some of the approaches now prevalent in origins-of-life studies. These include one path from early views of life through the scientific revolutions brought about by Linnaeus (von Linn.), Wöhler, Miller, and others. In this approach, new theories, tools, and evidence guide new thoughts about the nature of life and its origin.We also describe another family of paths motivated by a” circularity” approach to life, which is guided by such thinkers as Maturana & Varela, Gánti, Rosen, and others. These views echo ideas developed by Kant and Aristotle, though they do so using modern science in ways that produce exciting avenues of investigation. By exploring the history of these ideas, we can see how many of the issues that currently interest us have been guided by the contexts in which the ideas were developed. The disciplinary backgrounds of each of these scholars has influenced the questions they sought to answer, the experiments they envisioned, and the kinds of data they collected. We conclude by encouraging scientists and scholars in the humanities and social sciences to explore ways in which they can interact to provide a deeper understanding of the conceptual assumptions, structure, and history of origins-of-life research. This may be useful to help frame future research agendas and bring awareness to the multifaceted issues facing this challenging scientific question. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

As schools publicly modernize in response to societal changes, additional teaching and learning methods are developed, observed, and used since learners have different learning styles that make it easier for them to grasp and retain the material. During the COVID-19 pandemic, teachers require different media to keep the classroom involved while presenting the lesson materials online, one of which is video tutorials. The purpose of this study was to analyze the extent of contextual effects of video tutorials used in general (...) chemistry, determine the relationship between video tutorial effectiveness and the respondents' academic performance, and analyze the significant difference between the four indicators of contextual effects of video tutorials and the respondents' profile. A descriptive-correlational quantitative research design was used in this study. The participants in this study were 144 Grade 12 STEM students from a private school in Sultan Kudarat, Philippines, who took their general chemistry course during the pandemic. The respondents were given a survey questionnaire created with Google Forms. The students agreed with all the assertions and rated them as effective in terms of their perceptions of general chemistry, implying that video tutorials are useful in teaching the subject. With p-values of .023, .046, and .010, respectively, the findings revealed a significant relationship between the overall mean of students' perceptions of the subject of General Chemistry, the concept and application of chemical knowledge and understanding, and their influence on students' academic performance. In terms of their perception, ideas, and application of chemical knowledge and comprehension, the results demonstrated that there is no statistically significant difference between the general mean of male and female students' responses. This basically means that by using video lectures, STEM students of all genders appreciate and understand General Chemistry as a subject. -/- . (shrink)

Psychopathy refers to a range of complex behaviors and personality traits, including callousness and antisocial behavior, typically studied in criminal populations. Recent studies have used self-reports to examine psychopathic traits among noncriminal samples. The goal of the current study was to examine the underlying factor structure of the Self-Report of Psychopathy Scale–Short Form (SRP-SF) across complementary samples and examine the impact of gender on factor structure. We examined the structure of the SRP-SF among 2,554 young adults from three undergraduate samples (...) and a high-risk young adult sample. Using confirmatory factor analysis, a four-correlated factor model and a four-bifactor model showed good fit to the data. Evidence of weak invariance was found for both models across gender. These findings highlight that the SRP-SF is a useful measure of low-level psychopathic traits in noncriminal samples, although the underlying factor structure may not fully translate across men and women. (shrink)

In this essay I suggest that we view design principles in systems biology as minimal models, for a design principle usually exhibits universal behaviors that are common to a whole range of heterogeneous (living and nonliving) systems with different underlying mechanisms. A well-known design principle in systems biology, integral feedback control, is discussed, showing that it satisfies all the conditions for a model to be a minimal model. This approach has significant philosophical implications: it not only accounts for how design (...) principles explain, but also helps clarify one dispute over design principles, e.g., whether design principles provide mechanistic explanations or a distinct kind of explanations called design explanations. (shrink)

In this chapter, I consider the largely overlooked influence of E. W. von Tschirnhaus' treatise on method, the Medicina mentis, on Wolff's early philosophical project (in both its conception and execution). As I argue, part of Tschirnhaus' importance for Wolff lies in the use he makes of principles gained from experience as a foundation for the scientific enterprise in the context of his broader philosophical rationalism. I will show that this lesson from Tschirnhaus runs through Wolff's earliest philosophical discussions, and (...) indeed continues to inform his major texts in logic and mathematics just before the publication of the German Metaphysics. In the end, my discussion has the effect of revealing Tschirnhaus to be an exceptionally important influence on Wolff's development, perhaps even as important (or so I suggest) as Leibniz. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard (2010) contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the one hand, (...) all mechanisms are more or less general (or abstract), and on the other, many (if not all) design principles are causal systems. (shrink)

Blame is multifarious. It can be passionate or dispassionate. It can be expressed or kept private. We blame both the living and the dead. And we blame ourselves as well as others. What’s more, we blame ourselves, not only for our moral failings, but also for our non-moral failings: for our aesthetic bad taste, gustatory self-indulgence, or poor athletic performance. And we blame ourselves both for things over which we exerted agential control (e.g., our voluntary acts) and for things over (...) which we lacked such control (e.g., our desires, beliefs, and intentions). I argue that, despite this manifest diversity in our blaming practices, it’s possible to provide comprehensive account of blame. Indeed, I propose a set of necessary and sufficient conditions that aims to specify blame’s extension in terms of its constitution as opposed to its function. And I argue that this proposal has a number of advantages beyond accounting for blame in all its disparate forms. For one, it can account for the fact that one’s having had control over whether one was to φ is a necessary condition for one’s being fittingly blamed for having φ-ed. For another, it can account for why, unlike fitting shame, fitting blame is always deserved, which in turn explains why there is something morally problematic about ridding oneself of one’s fitting self-blame (e.g., one’s fitting guilt). (shrink)

The fructose 6-phosphate (Fru-6P) saturation curve for phosphofructokinase (PFK) from E. coli is sigmoidal in the presence of saturating MgATP levels, while the corresponding curve for B. stearothermophilus PFK is essentially hyperbolic. Sigmoidality can be due to apparent cooperativity arising from the kinetic mechanism of an enzyme. We have determined the kinetic mechanism of B. stearothermophilus PFK (BsPFK). BsPFK was found to obey a non rapid-equilibrium random mechanism similar to the one E. coli PFK (EcPFK) follows. Substrate inhibition by MgATP (...) was observed. We propose that substrates bind to BsPFK through two alternative pathways, one of which is slower. The substrate inhibition arises in part from reaction flux through the slower pathway. Although EcPFK and BsPFK obey similar kinetic mechanisms, they are inhibited differently by MgATP: EcPFK is profoundly inhibited, BsPFK only weakly. The structural basis for this difference could be closure of the active site via a conformational transition that occurs in EcPFK, but not BsPFK. To investigate the importance of this transition for MgATP inhibition of EcPFK, we have constructed a chimeric enzyme (ChiPFK) that contains the "rigid" ATP-binding domain of BsPFK grafted onto the remainder of the EcPFK subunit. Our results indicate that ChiPFK is locked in an "open" structure resembling the activated form of EcPFK. It is insensitive to heterotropic regulation. Nevertheless, ChiPFK exhibits residual cooperativity. Possible explanations for the cooperativity are discussed. The 6F loop is proposed to be important in PFK allosteric behavior. Residues along the loop are largely conserved between BsPFK and EcPFK, except for 161, which is a glutamate in BsPFK, and a glutamine in EcPFK. Using site-directed mutagenesis, Glu 161 of BsPFK has been changed to glutamine and alanine. Similarly, Gin 161 of EcPFK has been changed to glutamate, arginine and alanine. Of the five mutants, one, QA161, was particularly interesting. Though activated normally by GDP, it was completely insensitive to PEP inhibition. This indicates that the hydrogen-bonding ability of residue 161 is critical for PEP inhibition of EcPFK, and that GDP activation and PEP inhibition follow different structural pathways. (shrink)

It seems that we can be directly accountable for our reasons-responsive attitudes—e.g., our beliefs, desires, and intentions. Yet, we rarely, if ever, have volitional control over such attitudes, volitional control being the sort of control that we exert over our intentional actions. This presents a trilemma: (Horn 1) deny that we can be directly accountable for our reasons-responsive attitudes, (Horn 2) deny that φ’s being under our control is necessary for our being directly accountable for φ-ing, or (Horn 3) deny (...) that the relevant sort of control is volitional control. This paper argues that we should take Horn 3. (shrink)

Much has been written on whether practical knowledge (knowledge-how) reduces to propositional knowledge (knowledge-that). Less attention has been paid to what we call deliberative knowledge (knowledge-to), i.e., knowledge ascriptions embedding other infinitival questions, like _where to meet_, _when to leave_, and _what to bring_. We offer an analysis of knowledge-to and argue on its basis that, regardless of whether knowledge-how reduces to knowledge-that, no such reduction of knowledge-to is forthcoming. Knowledge-to, unlike knowledge-that and knowledge-how, requires the agent to have formed (...) certain conditional intentions. We discuss the philosophical implications for knowledge-how, deliberative questions, and virtue. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

Perceptual experience is often said to be transparent; that is, when we have a perceptual experience we seem to be aware of properties of the objects around us, and never seem to be aware of properties of the experience itself. This is a introspective fact. It is also often said that we can infer a metaphysical fact from this introspective fact, e.g. a fact about the nature of perceptual experience. A transparency theory fills in the details for these two facts, (...) and bridges the gap between them. We have three aims: to scrutinize Michael Tye’s transparency theory :137–151, 2002; Consciousness revisited: materialism without phenomenal concepts, MIT Press, Cambridge, 2009; Philos Stud 170:39–57, 2014a), introduce a new transparency theory, and advance a meta-theoretical hypothesis about the interest, and import, of transparency theories. (shrink)

In De interpretatione 9, Aristotle argues against the fatalist view that if statements about future contingent singular events (e.g. ‘There will be a sea battle tomorrow,’ ‘There will not be a sea battle tomorrow’) are already true or false, then the events to which those statements refer will necessarily occur or necessarily not occur. Scholars have generally held that, to refute this argument, Aristotle allows that future contingent statements are exempt from either the principle of bivalence, or the law of (...) excluded middle. This paper offers a new interpretation of Aristotle’s refutation of fatalism. According to this interpretation, each member of a pair of contradictory future contingent statements, in virtue of expressing modal necessity, is simply false. (shrink)

I. EPISTEMOLOGICAL SUGGESTIONS From an epistemological view, classifying a statement as 'vague' means to judge the statement in question to be a mixture from partial knowledge and partial ignorance. Accordingly it seems desirable to describe the boundary between knowledge and ignorance hidden in the vague statement. -/- Ludwig discusses vagueness in physics, especially vagueness in measuring statements. The example he uses is 'measurement of Euclidean distance', i.e. the meaning of statements which are often written as "d(x,y) = α ± ε", (...) where vagueness is expressed by "± ε" indicating the so-called "error of measurement". Ludwig maintains that physicists have come to refrain from supposing that physical objects have exact properties which cannot be measured exactly (but only within the indicated 'error of measurement'). … But what is the alternative? … . (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Neuroscience hasn’t shown how quite similar sensory circuits encode quite different colors and other qualia, nor how the unified pictorial form of images is encoded, nor how these codes yield conscious images. Neuroscience’s fixation here on cortical codes may be the culprit. Treating conscious images partly as retinal substances may avoid these problems. The evidence for conscious retinal images is that (a) the cortical codes for images are quite problematic, (b) injecting retinas with certain genes turns dichromats into trichromats without (...) cortical help, (c) retinas can discern colors by themselves without cortex, (d) retinal distortions appear in images but cortical distortions don’t, (e) retinal detectors support finely detailed colors, but V4 detectors don’t, due to their big receptive fields, (f) retinal activity has pictorial form, but viable cortical codes for pictorial form don’t exist. So, the colors and unified pictorial form of images arguably arise mainly across arrays of retinal detectors—not from abstract cortical codes. Images may be hidden in retinal activity beyond what EEGs show of it (cf. Strawson’s monism). Also, cortex refines these retinal images but cortical impairment (anesthesia, lesions, etc.) blocks awareness of them, for they’re no longer accessible to the mind’s subject-centered consciousness, resident in cortex. This proposal is largely testable and based in recent evidence. It avoids neuroscience’s elusive, problematic coded images and enigmatic explanations of how they become conscious. (shrink)

What makes it the case that an utterance constitutes an illocutionary act of a given kind? This is the central question of speech-act theory. Answers to it—i.e., theories of speech acts—have proliferated. Our main goal in this chapter is to clarify the logical space into which these different theories fit. -/- We begin, in Section 1, by dividing theories of speech acts into five families, each distinguished from the others by its account of the key ingredients in illocutionary acts. Are (...) speech acts fundamentally a matter of convention or intention? Or should we instead think of them in terms of the psychological states they express, in terms of the effects that it is their function to produce, or in terms of the norms that govern them? In Section 2, we take up the highly influential idea that speech acts can be understood in terms of their effects on a conversation’s context or “score”. Part of why this idea has been so useful is that it allows speech-act theorists from the five families to engage at a level of abstraction that elides their foundational disagreements. In Section 3, we investigate some of the motivations for the traditional distinction between propositional content and illocutionary force, and some of the ways in which this distinction has been undermined by recent work. In Section 4, we survey some of the ways in which speech-act theory has been applied to issues outside semantics and pragmatics, narrowly construed. (shrink)

Hobart’s classic 1934 paper “Free Will as Involving Determination and Inconceivable Without It” has been widely cited as an example of an argument for the view that free will requires the truth of determinism. In this paper, I argue that this reading of Hobart’s paper is mistaken and that we should instead read Hobart as arguing that an agent exercises their free will only if the proximate causes of the agent’s action deterministically cause their action. After arguing that Hobart’s view, (...) rightly understood, escapes the problems typically raised for Hobart’s compatibilism, I also argue that Hobart’s view is problematic for different reasons. Nevertheless, I argue that there is a crucial insight to be gleaned from Hobart’s paper—one that provides compatibilists with a new recipe for challenging libertarian accounts of free will. (shrink)

In this paper we consider the logics L(i,n) obtained from the (n+1)-valued Lukasiewicz logics L(n+1) by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality among them are analyzed. We present a very general theorem that provides sufficient conditions for maximality between logics. As a consequence of this theorem, it is shown that L(i,n) is maximal w.r.t. CPL whenever n is prime. Concerning strong maximality (i.e. maximality w.r.t. (...) rules instead of only axioms), we provide algebraic arguments in order to show that the logics L(i,n) are not strongly maximal w.r.t. CPL, even for n prime. Indeed, in such case, we show that there is just one extension between L(i,n) and CPL obtained by adding to L(i,n) a kind of graded explosion rule. Finally, using these results, we show that the logics L(i,n) with n prime and i/n < 1/2 are ideal paraconsistent logics. (shrink)

The author supported Barack Obama for president, and he agrees with Obama on most issues. However, he opposes the federal funding of human embryonic stem cell (hESC) research. Besides involving the destruction of human life, hESC research can (1) result in the exploitation of women, and (2) cause human reproduction to become a means to an end, i.e., human embryos will become commodities to be bought and sold. Recent scientific developments show the growing potential of induced pluripotent stem (iPS) cells (...) and the diminishing promise of their embryonic counterparts. When President Obama lifted restrictions on hESC research on March 9, 2009, he missed an opportunity to show moral leadership on a politically controversial issue. (shrink)

Howard Phillips Lovecraft’s work of fiction can roughly be grouped into three distinct categories, each evoking a singular extraordinary state of mind. Poe-inspired tales of the macabre such as “The Tomb” (1917) and “The Statement of Randolph Carter” (1919) produce terror because of the atmosphere they convey and because of the particular end the main characters meet. Lovecraft’s later “Yog-Sothothery” or work in the Cthulhu Mythos tradition, including his signature pieces of weird fiction “The Call of Cthulhu” (1926) and “The (...) Shadow over Innsmouth” (1931), inspires ‘horror’ because the life-worlds of the protagonists in these stories are utterly destroyed. However, the gentleman of Providence is also known for a different sort of fiction. His Dunsanian tales—among them short stories such as “The White Ship” (1919), “Celephaïs” (1920), and the three works“ The Silver Key” (1926), The Dream-Quest of Unknown Kadath (1926–27), and “Through the Gates of the Silver Key” (1932–33; with E. Hoffmann Price), centered on the exploits of Lovecraft’s recurring character and alter ego Randolph Carter—are epitomes to this feat. These prehistoric or dreamland tales do not inspire ‘terror’ or ‘horror’; rather, they predominately seek to evoke the extraordinary state of mind called ‘wonder. This article offers a preliminary exploration of Lovecraft’s relationship with wonder, highlights what wonder is, how Lovecraft was exposed to wonder at an early age, and argues that he developed a lifelong positive relationship with this particular state of mind. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

Amalia Holst (1758-1829) has had a rather conflicted reception within the history of feminism. Her Über die Bestimmung des Weibes zur höhern Geistesbildung (On the Vocation of Woman to the Higher Education of the Mind, 1802) is a strident defense of women’s right of access to education; however her case relies on the presuppostion of woman's traditional threefold role as "mother, spouse, and housewife." In this essay, in addition to disclosing new details about Holst's life, I contend that a closer (...) reading of her text reveals a rather more radical project motivating her discussion, and that this helps alleviate concerns about her alleged unoriginality, conservatism, and elitism. (shrink)

Many philosophers have claimed that evidence for a theory is better when multiple independent tests yield the same result, i.e., when experimental results are robust. Little has been said about the grounds on which such a claim rests, however. The present essay presents an analysis of the evidential value of robustness that rests on the fallibility of assumptions about the reliability of testing procedures and a distinction between the strength of evidence and the security of an evidence claim. Robustness can (...) enhance the security of an evidence claim either by providing what I call second-order evidence, or by providing back-up evidence for a hypothesis. (shrink)

This paper argues that explicit reading instruction should be part of lower level undergraduate philosophy courses. Specifically, the paper makes the claim that it is necessary to provide the student with both the relevant background knowledge about a philosophical work and certain metacognitive skills (e.g. their ability to reflect on the learning process) that enrich the reading process and their ability to organize the content of a philosophical text with other aspects of knowledge. A “How to Read Philosophy” handout and (...) student reactions to the handout are provided. (shrink)

Paper type: Conceptual perspective. Background(s): Physics, biology, epistemology Perspectives: Theory of autopoietic systems, Popperian evolutionary epistemology and the biology of cognition. Context: This paper is a contribution to developing the theories of hierarchically complex living systems and the natures of knowledge in such systems. Problem: Dissonance between the literatures of knowledge management and organization theory and my observations of the living organization led to consideration of foundation questions: What does it mean to be alive? What is knowledge? How are life (...) and knowledge related? Method: The approach is synthetic and multidisciplinary. The concept of autopoiesis (as defined by Maturana) as a definition for life, and knowledge as a product of autopoiesis are developed from first principles regarding the behavior of dynamical systems in time. Results: Autopoiesis and the construction of knowledge are inseparable aspects of physical phenomena scalable to many levels of organization (e.g., cells, multicellular organisms, organizations, social systems, etc.). The result unifies theories of epistemology, physical dynamics, life, biological evolution, knowledge and social systems. Implications: Results highlight the importance to understand autopoiesis as first defined by Maturana and Varela – as a complex physical phenomenon persisting over time. Autopoietic “self-observation” is not paradoxical. As dynamic physical processes, any internal/external activities relating to “observations” are displaced in time. The worlds living systems act on are not those observed. “Circularly closed” systems are actually open spirals along the axis of time. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

Mark Coeckelbergh starts his book with a very powerful picture based on a real incident: On the 9th of January 2020, Robert Williams was wrongfully arrested by Detroit police officers in front of his two young daughters, wife and neighbors. For 18 hours the police would not disclose the grounds for his arrest (American Civil Liberties Union 2020; Hill 2020). The decision to arrest him was primarily based on a facial detection algorithm which matched Mr. Williams’ driving license photo with (...) the picture of a man who was suspected of watch theft two years earlier. Not only did the computer ‘get it wrong’ as one of the detectives said, when Mr. Williams made them aware that the picture of the suspect obviously wasn’t resembling him, the probably unreliable algorithm very likely contributed to racial discrimination (Hill 2020). It is well documented that many available facial detection algorithms at this time had significant problems (e.g. a comparably high false positive rate) with respect to black persons, like Mr. Williams (NIST 2019). Multiple causes may exist, such as unbalanced training datasets and insufficient optimization. Coeckelbergh compares the disturbing case of Mr. Williams with a political interpretation of Franz Kafka’s The Trial, where the protagonist, Josef K., is accused of an unspecified crime by an opaque, oppressive and absurd bureaucracy: “In the 21st-century United States, Josef K. is black and is falsely accused by an algorithm, without explanation” (p. 2). (shrink)

Os minerais possuem uma influência direta em diversos processos fisiológicos no organismo animal e, mesmo com tamanha importância, por vezes são negligenciados pelos produtores para seu fornecimento para os animais. Este estudo teve como objetivo avaliar o desempenho reprodutivo de rebanhos de bovinos, caprinos e ovinos em 8 propriedades rurais nas cidades de Sanharó, Pesqueira, Arcoverde, Belo Jardim e São Bento do Una através da adição de suplemento mineral e mistura múltipla aos animais de forma a atender suas necessidades básicas (...) para mantença e reprodução. Foram avaliados os desempenhos de 4 touros e 25 vacas, 3 bodes e 50 cabras e 4 carneiros e 48 ovelhas em diferentes propriedades, avaliando como a adição de um suplemento mineral específico da espécie impacta de forma positiva nos índices reprodutivos avaliados que foram taxa de cio, taxa de serviço, taxa de concepção, taxa de fertilidade, taxa de prenhez, taxa de perdas gestacionais, taxa de natalidade e taxa de mortalidade. O experimento teve duração de 2 anos e pôde-se avaliar cerca de 2 partos nas vacas e, mais ou menos, 3 partos em cabras e ovelhas. Os dados foram computados e avaliados estatisticamente no Excel para conferir se os índices reprodutivos melhoraram em função da adição de minerais na ração dos animais. Conferiu-se que houve diferença significativa entre todos os índices avaliados, ou seja, a adição de minerais na ração dos animais melhora a eficiência reprodutiva de machos e fêmeas de animais ruminantes, sendo de suma importância sua disponibilização de forma correta para alcançar bons índices reprodutivos na fazenda na busca pela obtenção de neonatos que poderão ser comercializados. -/- REFERÊNCIAS BIBLIOGRÁFICAS ASTRO, G. B. A importância da adição de minerais na dieta de caprinos e ovinos no Agreste de Pernambuco. Trabalho de Conclusão de Curso (Técnico Subsequente em Agropecuária) - IFPE Campus Belo Jardim. Belo Jardim, 2023. 44 p. BALAMURUGAN, B. et al. Mineral an important nutrient for efficient reproductive health in dairy cattle. Int. J. Environ. Sci. Technol, v. 6, n. 1, p. 694-701, 2017. Barros NN, Bomfim MAD. Mistura múltipla para caprinos e ovinos. In: Anais VIII PECNORDESTE – Seminário Nordestino de Pecuária, 8; 2004; Fortaleza, Brasil. Fortaleza: FAEC, 2004. p. 50-57. BERCHIELLI, T. T.; PIRES, A. V.; OLIVEIRA, S. G. (Eds.). Nutrição de ruminantes. Jaboticabal: Funep, 2011. COTTA, T. Minerais e vitaminas para bovinos, ovinos e caprinos. Viçosa: Aprenda Fácil, 2001. DANTAS, C. C. O.; DE MATTOS NEGRÃO, F. Funções e sintomas de deficiência dos minerais essenciais utilizados para suplementação dos bovinos de corte. UNICiências, v. 14, n. 2, 2010. DA SILVA EIC. A água na nutrição animal. 1ª ed. Recife, PE: Instituto Agronômico de Pernambuco, 2023. DA SILVA, Emanuel Isaque Cordeiro. Cálculos de consumo e digestibilidade de alimentos e nutrientes para ruminantes. Revista Universitária Brasileira, v. 1, n. 3, 2023. DA SILVA, Emanuel Isaque Cordeiro. Concentrados e Rações Para Cabras em Lactação. 2022. DA SILVA, Emanuel Isaque Cordeiro. Efeitos da raça e do manejo nutricional sobre as características de qualidade da carcaça e da carne em ovinos. Revista Universitária Brasileira, v. 2, n. 1, 2024. DA SILVA, Emanuel Isaque Cordeiro. Fisiologia da Reprodução de Bovinos Leiteiros: Aspectos Básicos e Clínicos. Emanuel Isaque Cordeiro da Silva, 2022. DA SILVA, Emanuel Isaque Cordeiro. Formulação de ração para caprinos. Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Formulação de ração para ovinos. 2021. DA SILVA, Emanuel Isaque Cordeiro. Formulação e Avaliação de Suplemento Mineral Para Caprinos. Instrução Técnica Para o Produtor Rural de Pernambuco, v. 3, n. 1, p. 1-4, 2023. DA SILVA, Emanuel Isaque Cordeiro. Formulação e fabricação de rações para ruminantes. 1ª ed. Belo Jardim: Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Formulação e Fabricação de Rações Para Ruminantes: Bovinos, Caprinos e Ovinos. 2021. DA SILVA, Emanuel Isaque Cordeiro. Manejo Reprodutivo e Índices Zootécnicos em Gado de Leite. 2023. DA SILVA, Emanuel Isaque Cordeiro. Métodos de Formulação e Balanceamento de Rações para Bovinos. Belo Jardim: Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Nutrição e Suplementação Mineral de Bovinos de Corte. Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Nutrição Sobre a Reprodução e Fertilidade dos Bovinos. Emanuel Isaque Cordeiro da Silva, 2021. DA SILVA, Emanuel Isaque Cordeiro. Opções de concentrados para vacas em lactação no Semiárido. 2022. DA SILVA, Emanuel Isaque Cordeiro. Relação e Efeitos Bioquímico-nutricionais Sobre os Cistos Ovarianos em Vacas. DA SILVA, Emanuel Isaque Cordeiro. Relação e Efeitos Bioquímico-nutricionais Sobre os Transtornos do Ciclo Estral em Vacas. DA SILVA, E. I. C. Suplementação e formulação de sal mineral e mistura múltipla para bovinos. Revista Universitária Brasileira, v. 2, n. 1, 2024. DE MENDONÇA JÚNIOR, A. F. et al. Minerais: importância de uso na dieta de ruminantes. Agropecuária Científica no Semiárido, v. 7, n. 1, p. 01-13, 2011. DE PAULA SILVEIRA, L. Suplementação mineral para bovinos. Medicina Veterinária e Zootecnia, v. 11, n. 5, p. 489-500, 2017. FADLALLA, I. M. T. The Interactions of Some Minerals Elements in Health and Reproductive Performance of Dairy Cows. New Advances in the Dairy Industry, 2022. FERGUSON, J. D. Nutrition and reproduction in dairy cows. Veterinary clinics of North America: Food animal practice, v. 7, n. 2, p. 483-507, 1991. GALVANI, D. B.; BOMFIM, MAD. Mistura múltipla para caprinos e ovinos: nova fórmula dispensa adaptação. 2015. HAENLEIN, G. F. W.; ANKE, M. Mineral and trace element research in goats: A review. Small Ruminant Research, v. 95, n. 1, p. 2-19, 2011. KAWAS, J. R.; ANDRADE-MONTEMAYOR, H.; LU, C. D. Strategic nutrient supplementation of free-ranging goats. Small Ruminant Research, v. 89, n. 2-3, p. 234-243, 2010. KESSLER, J. Mineral nutrition of goats. In: Goat nutrition, v. 46, p. 104-119, 1991. LOPES, H. O. S. Suplementação de baixo custo para bovinos: mineral e alimentar. 1998. MANERA, D. B. et al. Mineral mixtures from solid salt residues for lambs. Revista Brasileira de Zootecnia, v. 43, p. 485-491, 2014. MASTERS, D. G. Practical implications of mineral and vitamin imbalance in grazing sheep. Animal Production Science, v. 58, n. 8, p. 1438-1450, 2018. MORAES, S. da S. Importância da suplementação mineral para bovinos de corte. Campo Grande, MS: Embrapa Gado de Corte, 2001., 2001. NICODEMO, M. L. F. et al. Minerais na eficiência reprodutiva de bovinos. 1ª ed. São Carlos: Embrapa Pecuária Sudeste, 2008. 50 p. NIX, J.. Trace minerals important for goat reproduction. Sweetlix Livestock Supplement System, 2002. NOGUEIRA, É. et al. Nutrição aplicada à reprodução de bovinos de corte. In: MEDEIROS, S. R. et al. (Eds.). Nutrição de bovinos de corte: fundamentos e aplicações. 1ª ed. Brasília: Embrapa, 2015. p. 143-156. PASA, C.. Relação reprodução animal e os minerais. Biodiversidade, v. 9, n. 1, 2010. PEIXOTO, P. V. et al. Eficiência reprodutiva de matrizes bovinas de corte submetidas a três diferentes tipos de suplementação mineral. Pesquisa Veterinária Brasileira, v. 23, p. 125-130, 2003. PRADA, F. Influência da nutrição animal na reprodução de touros: revisão. Revista de Educação Continuada do CRMV-SP, v. 8, n. 1, p. 68-76, 2005. ROGÉRIO, M. C. P. et al. Manejo alimentar de caprinos e ovinos nos trópicos. Veterinária e Zootecnia, v. 23, n. 3, p. 326-346, 2016. SARTORI, R.; GUARDIEIRO, M. M. Fatores nutricionais associados à reprodução da fêmea bovina. Revista Brasileira de Zootecnia, v. 39, p. 422-432, 2010. SHARMA, M. C. et al. Mineral nutrition and reproductive performance of the dairy animals: a review. The Indian Journal of Animal Sciences, v. 77, n. 7, 2007. SILVA, D. C. et al. Importância do uso de minerais na dieta de bovinos reprodutores. Vet. zootec, p. 38-52, 2018. SOUZA, G. V. Suplementação de minerais na reprodução de bovinos. Trabalho de Conclusão de Curso (Graduação em Zootecnia) - UFG. Jataí, 2014. 32 p. TEIXEIRA, J. C. Nutrição de ruminantes. Lavras: FAEPE, 1992. UNDERWOOD, E. J.; SUTTLE, N. F. Los minerales en la nutrición del ganado. 3ª ed. Zaragoza: Acribia, 2003. VALADARES FILHO, S. C. et al. (Eds.). Tabelas brasileiras de composição de alimentos para ruminantes. 1ª ed. Viçosa: UFV, 2015. VALENTIM, J. K. et al. Fatores nutricionais aplicados à reprodução de ruminantes. UNICIÊNCIAS, v. 23, n. 2, p. 77-82, 2019. VASCONCELOS, F. F. Suplementação mineral no manejo reprodutivo ovino. Dissertação (Mestrado em Medicina Veterinária) - Centro de Ciências Rurais, UFSM. Santa Maria, 2012. 50 p. VÁZQUEZ-ARMIJO, J. F. et al. Trace elements in sheep and goats reproduction: a review. Tropical and Subtropical Agroecosystems, v. 14, n. 1, p. 1-13, 2011. VELLADURAI, C.; SELVARAJU, M.; NAPOLEAN, R. E. Effects of macro and micro minerals on reproduction in dairy cattle a review. International Journal of Scientific Research in Science and Technology, v. 2, n. 1, p. 68-70, 2016. YASOTHAI, R. Importance of minerals on reproduction in dairy cattle. International Journal of Science, Environment and Technology, v. 3, n. 6, p. 2051-2057, 2014. (shrink)

Maximalism is the view that if an agent is permitted to perform a certain type of action (say, baking), this is in virtue of the fact that she is permitted to perform some instance of this type (say, baking a pie), where φ-ing is an instance of ψ-ing if and only if φ-ing entails ψ-ing but not vice versa. Now, the point of this paper is not to defend maximalism, but to defend a certain account of our options that when (...) combined with maximalism results in a theory that both avoids the sorts of objections that have typically been levelled against maximalism and accommodates the plausible idea that a moral theory must be collectively successful in the sense that everyone’s satisfying the theory guarantees that our theory-given aims will be best achieved. I argue that, for something to count as an option for an agent, it must, in the relevant sense, be under her control. And I argue that the relevant sort of control is the sort that we exercise over our reasons-responsive attitudes (e.g., our beliefs, desires, and intentions) by being both receptive and reactive to reasons. I call this sort of control rational control, and I call the view that φ-ing is an option for an agent if and only if she has rational control over whether she φs rationalism. When we combine this view with maximalism, we get rationalist maximalism, which I argue is a promising moral theory. (shrink)

The Notion of ‘civilisation’ in European and post-Enlightenment writings has recently been reassessed. Critics have especially reread the works of Immanuel Kant by highlighting his racial categories. However, this Paper argues that something is missing in this contemporary literature: namely, the role of the European legal culture in the development of a racial and ethnic hierarchy of societies. The clue to this missing element rests in how ‘civilisation’ has been understood. This Paper examines how one of the leading jurists of (...) the 19th and 20th centuries, George W. Hegel (1770-1831), took for granted a sense of a legal culture that excluded indigenous inhabitants of the Americas as legal persons worthy of legal protection. -/- Such an exclusionary legal culture represented a crucial feature of ‘civilisation’ according to Hegel. This Paper identifies a series of factors which Hegel highlighted as instrumental in constituting a civilised society: Bildung, an ethos, a written legal culture, a self-creative author (the state), territorial knowledge, and a hierarchy of societies. Hegel emphasized the need of jurists to analytically “leap” from a traditional society to a legal culture before the jurist could identify a law. The traditional societies of the Americas, according to Hegel, were considered lawless because they lacked a European sense of a legal culture. Why Hegel characterised traditional communities as lacking a legal culture is then explained. The Paper ends by suggesting that the features of a legal culture that Hegel highlights remain with us today. (shrink)

W.E.B. Du Bois’s socialism has provoked debate for decades. His democratic theory and critique of political economy supports democratic socialism. In this article, I offer a philosophical reconstruction of the normative foundation of his democratic socialism in three steps. First, I argue that his philosophy of the modern democratic state supports the people’s advance of the principle of free and equal citizenship or civic equality. Next, I present his critique of the modern American welfare state, which asserts the fair value (...) of political liberty and democratic control over productive activities. Finally, I introduce the method of the excluded groups from Darkwater as an ideal procedure for guiding democratic deliberation in a profoundly nonideal public sphere. The method foregrounds the voices of excluded groups to correct asymmetrical relations of practical power and to infuse democratic reason with practical intelligence, namely, new content and values that can lead to the development of a democratic socialist state. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Comments on “Moral Complicity in Induced Pluripotent Stem Cell Research”W. Malcolm Byrnes, Ph.D. and Edward J. FurtonIn his article titled “Moral Complicity in Induced Pluripotent Stem Cell Research,” Mark T. Brown (2009) unfortunately mischaracterizes my ethical analysis of the use of induced pluripotent stem (iPS) cells for replacement therapies, or treatments (Byrnes 2008). In my paper, which Brown cites, I argue that, just as it is ethically acceptable for (...) parents to allow their children and themselves to be immunized using vaccines produced by cell lines derived from human fetuses aborted in the past, it is also acceptable for persons in the future to benefit from treatments that use iPS cells validated using human embryonic stem (ES) cell lines [End Page 202] derived in the past. The assumption I make is that iPS cells would have to be shown to be functionally equivalent to human ES cells—i.e., validated—before they could be used for cell replacement treatments. (If it turns out that this assumption is incorrect, and primate or even mouse ES cells can be used for the validation, then all residual ethical problems will disappear and there will be no ethical problems whatsoever associated with iPS cells.) I wrote:... [I]n both cases, the origin of the treatment is in a one-time event: either the one-time use of aborted fetuses to obtain cell lines (e.g., MRC-5 and WI- 38) to grow weakened virus strains for vaccine production, or the one-time destruction of human embryos to validate iPS cells, which then effectively replace embryonic stem cells. In the latter case, if no additional embryonic stem cell lines are derived, then derivation of the existing lines could be considered a “one-time” event in the past, albeit an event that extended over a several-year period(Byrnes 2008, p. 287, emphasis added).Note the phrase “if no additional embryonic stem cell lines are derived.” The derivation of ES cell lines inherently involves destruction of embryos; indeed, that is why many people, including me, are opposed to human ES cell research. In my article, I am arguing that, if no additional ES cell lines are derived, then no additional human embryos will be destroyed, and the destruction of human embryos will lie in the past. In this case, embryo destruction could be considered a past event, just as the abortion of a human fetus from which vaccine-producing cell lines were derived is a past, albeit tragic, event.In the process of building his argument that proponents of iPS cell research are morally complicit in embryo destruction, Brown (2009, p. 15) casts me as being in favor of the “derivation of new embryonic stem [cell lines].” This is the exact opposite of my position. In fact, I am opposed to further destruction of human embryos. I believe that the hundreds of ES cell lines already in existence are more than sufficient to validate iPS cells and so no additional lines need to be derived. This means that no additional human embryos will need to be destroyed.Apparently based on the misperception that I support future destruction of human embryos, Brown concludes that “Byrnes’s endorsement of ongoing iPSC validation studies would seem to implicate him and those who follow his lead in formal and material complicity in what they perceive as moral evil” (p. 16). He writes that “explicit formal complicity would attach because he [Byrnes] knowingly and intentionally recommends that embryos be killed in order to facilitate a transition to a future in which no more embryos need be destroyed” (p. 16). Additionally, my “followers” and I would be guilty of “proximate material complicity” as well as “remote material complicity” (p. 16). Unfortunately, this broad condemnation is based on a misconception of my actual position.An additional problem involves Brown’s use of a quotation he attributes to me: [End Page 203]Once embryonic stem cells are used to successfully validate iPS cells, they will no longer be needed and their association with iPS cells will lie in the past. Is there not an element of sadness and resignation in accepting something (iPS cells) associated with an unjust act (destruction of an... (shrink)

We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)